Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
451	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
452	Garakabu2: A Formal Verification Tool for ZIPC Weiqiang Kong, Kyushu University, Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. & Kyushu University of Japan Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Logic in computer science Theoretical computer science Usability Verification Software development process Computer science Technology Formal methods Science Formal verification
453	EUROPEAN NETWORK OF GMO LABORATORIES (ENGL) Working Group on Method Performance Requirements (WG-MPR) MANDATE (Revised after 18th ENGL SC) Working Group Leader(s) To be decided Add to Reading List Source URL: gmo-crl.jrc.ec.europa.eu Language: English - Date: 2014-08-04 11:48:16 Systems engineering Methodology Quality Validation Knowledge Verification Genetically modified organism Technical standard Software development process Science Pharmaceutical industry Validity
454	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
455	Orchard Software Corporation Implementation Methodology Orchard Software Copyright © 2012 Orchard Software Corporation Add to Reading List Source URL: www.orchardsoft.com Language: English - Date: 2014-04-20 19:22:17 Management Health Software engineering Medical informatics Systems engineering Software development process Validation Health Level 7 Verification and validation Science Pharmaceutical industry Validity
456	Perl versiondocumentation - perlivp NAME perlivp - Perl Installation Verification Procedure SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:16:03 Perl Plain Old Documentation Eval Adam Kennedy CPAN Computing Software engineering Computer programming
457	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
458	Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-04-03 09:06:12 Aspect-oriented software development Aspect-oriented programming AspectJ Join point E Aspect ALGOL 68 C++ classes Runtime verification Software development Software Computing
459	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
460	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science

UPDATE